Optimal. Leaf size=120 \[ -\frac{b f \text{CosIntegral}\left (\frac{b}{(c+d x)^2}\right )}{2 d^2}-\frac{\sqrt{2 \pi } \sqrt{b} (d e-c f) \text{FresnelC}\left (\frac{\sqrt{\frac{2}{\pi }} \sqrt{b}}{c+d x}\right )}{d^2}+\frac{(c+d x) (d e-c f) \sin \left (\frac{b}{(c+d x)^2}\right )}{d^2}+\frac{f (c+d x)^2 \sin \left (\frac{b}{(c+d x)^2}\right )}{2 d^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.128448, antiderivative size = 120, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 7, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.438, Rules used = {3433, 3359, 3387, 3352, 3379, 3297, 3302} \[ -\frac{b f \text{CosIntegral}\left (\frac{b}{(c+d x)^2}\right )}{2 d^2}-\frac{\sqrt{2 \pi } \sqrt{b} (d e-c f) \text{FresnelC}\left (\frac{\sqrt{\frac{2}{\pi }} \sqrt{b}}{c+d x}\right )}{d^2}+\frac{(c+d x) (d e-c f) \sin \left (\frac{b}{(c+d x)^2}\right )}{d^2}+\frac{f (c+d x)^2 \sin \left (\frac{b}{(c+d x)^2}\right )}{2 d^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3433
Rule 3359
Rule 3387
Rule 3352
Rule 3379
Rule 3297
Rule 3302
Rubi steps
\begin{align*} \int (e+f x) \sin \left (\frac{b}{(c+d x)^2}\right ) \, dx &=\frac{\operatorname{Subst}\left (\int \left (d e \left (1-\frac{c f}{d e}\right ) \sin \left (\frac{b}{x^2}\right )+f x \sin \left (\frac{b}{x^2}\right )\right ) \, dx,x,c+d x\right )}{d^2}\\ &=\frac{f \operatorname{Subst}\left (\int x \sin \left (\frac{b}{x^2}\right ) \, dx,x,c+d x\right )}{d^2}+\frac{(d e-c f) \operatorname{Subst}\left (\int \sin \left (\frac{b}{x^2}\right ) \, dx,x,c+d x\right )}{d^2}\\ &=-\frac{f \operatorname{Subst}\left (\int \frac{\sin (b x)}{x^2} \, dx,x,\frac{1}{(c+d x)^2}\right )}{2 d^2}-\frac{(d e-c f) \operatorname{Subst}\left (\int \frac{\sin \left (b x^2\right )}{x^2} \, dx,x,\frac{1}{c+d x}\right )}{d^2}\\ &=\frac{(d e-c f) (c+d x) \sin \left (\frac{b}{(c+d x)^2}\right )}{d^2}+\frac{f (c+d x)^2 \sin \left (\frac{b}{(c+d x)^2}\right )}{2 d^2}-\frac{(b f) \operatorname{Subst}\left (\int \frac{\cos (b x)}{x} \, dx,x,\frac{1}{(c+d x)^2}\right )}{2 d^2}-\frac{(2 b (d e-c f)) \operatorname{Subst}\left (\int \cos \left (b x^2\right ) \, dx,x,\frac{1}{c+d x}\right )}{d^2}\\ &=-\frac{b f \text{Ci}\left (\frac{b}{(c+d x)^2}\right )}{2 d^2}-\frac{\sqrt{b} (d e-c f) \sqrt{2 \pi } C\left (\frac{\sqrt{b} \sqrt{\frac{2}{\pi }}}{c+d x}\right )}{d^2}+\frac{(d e-c f) (c+d x) \sin \left (\frac{b}{(c+d x)^2}\right )}{d^2}+\frac{f (c+d x)^2 \sin \left (\frac{b}{(c+d x)^2}\right )}{2 d^2}\\ \end{align*}
Mathematica [A] time = 0.283668, size = 95, normalized size = 0.79 \[ -\frac{b f \text{CosIntegral}\left (\frac{b}{(c+d x)^2}\right )+2 \sqrt{2 \pi } \sqrt{b} (d e-c f) \text{FresnelC}\left (\frac{\sqrt{\frac{2}{\pi }} \sqrt{b}}{c+d x}\right )+(c+d x) \sin \left (\frac{b}{(c+d x)^2}\right ) (c f-2 d e-d f x)}{2 d^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.012, size = 101, normalized size = 0.8 \begin{align*}{\frac{1}{{d}^{2}} \left ( - \left ( cf-de \right ) \left ( dx+c \right ) \sin \left ({\frac{b}{ \left ( dx+c \right ) ^{2}}} \right ) + \left ( cf-de \right ) \sqrt{b}\sqrt{2}\sqrt{\pi }{\it FresnelC} \left ({\frac{\sqrt{2}}{\sqrt{\pi } \left ( dx+c \right ) }\sqrt{b}} \right ) +{\frac{f \left ( dx+c \right ) ^{2}}{2}\sin \left ({\frac{b}{ \left ( dx+c \right ) ^{2}}} \right ) }-{\frac{fb}{2}{\it Ci} \left ({\frac{b}{ \left ( dx+c \right ) ^{2}}} \right ) } \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \frac{1}{2} \,{\left (f x^{2} + 2 \, e x\right )} \sin \left (\frac{b}{d^{2} x^{2} + 2 \, c d x + c^{2}}\right ) + \int \frac{{\left (b d f x^{2} + 2 \, b d e x\right )} \cos \left (\frac{b}{d^{2} x^{2} + 2 \, c d x + c^{2}}\right )}{2 \,{\left (d^{3} x^{3} + 3 \, c d^{2} x^{2} + 3 \, c^{2} d x + c^{3}\right )}}\,{d x} + \int \frac{{\left (b d f x^{2} + 2 \, b d e x\right )} \cos \left (\frac{b}{d^{2} x^{2} + 2 \, c d x + c^{2}}\right )}{2 \,{\left ({\left (d^{3} x^{3} + 3 \, c d^{2} x^{2} + 3 \, c^{2} d x + c^{3}\right )} \cos \left (\frac{b}{d^{2} x^{2} + 2 \, c d x + c^{2}}\right )^{2} +{\left (d^{3} x^{3} + 3 \, c d^{2} x^{2} + 3 \, c^{2} d x + c^{3}\right )} \sin \left (\frac{b}{d^{2} x^{2} + 2 \, c d x + c^{2}}\right )^{2}\right )}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.73599, size = 383, normalized size = 3.19 \begin{align*} -\frac{4 \, \sqrt{2} \pi{\left (d^{2} e - c d f\right )} \sqrt{\frac{b}{\pi d^{2}}} \operatorname{C}\left (\frac{\sqrt{2} d \sqrt{\frac{b}{\pi d^{2}}}}{d x + c}\right ) + b f \operatorname{Ci}\left (\frac{b}{d^{2} x^{2} + 2 \, c d x + c^{2}}\right ) + b f \operatorname{Ci}\left (-\frac{b}{d^{2} x^{2} + 2 \, c d x + c^{2}}\right ) - 2 \,{\left (d^{2} f x^{2} + 2 \, d^{2} e x + 2 \, c d e - c^{2} f\right )} \sin \left (\frac{b}{d^{2} x^{2} + 2 \, c d x + c^{2}}\right )}{4 \, d^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \left (e + f x\right ) \sin{\left (\frac{b}{c^{2} + 2 c d x + d^{2} x^{2}} \right )}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (f x + e\right )} \sin \left (\frac{b}{{\left (d x + c\right )}^{2}}\right )\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]